1. The Parametric Lambda Calculus :
پدیدآورنده : by Simona Ronchi Della Rocca, Luca Paolini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
QA9
.
5
B975
2004